Nachum Dershowitz (eds.): искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (26)
Самые популярные
Список
- Список
- Таблица

1

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Год:

2008

Язык:

english

Файл:

PDF, 6.76 MB

0 / 0

english, 2008

2

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 27.49 MB

0 / 0

english, 2014

3

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 5.33 MB

0 / 0

english, 2007

4

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 5.84 MB

0 / 0

english, 2010

5

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 8.59 MB

0 / 0

english, 2004

6

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 3.45 MB

0 / 0

english, 2007

7

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 7.21 MB

0 / 0

english, 2009

8

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 2.95 MB

0 / 0

english, 2007

9

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Год:

2008

Язык:

english

Файл:

PDF, 8.20 MB

0 / 0

english, 2008

10

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Год:

1995

Язык:

english

Файл:

DJVU, 3.52 MB

0 / 0

english, 1995

11

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 5.21 MB

0 / 0

english, 2004

12

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 7.02 MB

0 / 0

english, 2009

13

Pillars of Computer Science

Pillars of Computer Science

Arnon Avron Nachum Dershowitz Alexander Rabinovich (Eds.)

Год:

2008

Язык:

english

Файл:

PDF, 8.64 MB

0 / 0

english, 2008

14

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 8.84 MB

0 / 5.0

english, 2009

15

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 2.85 MB

0 / 0

english, 2011

16

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 33.09 MB

0 / 0

english, 2014

17

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.49 MB

0 / 0

english, 2011

18

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.42 MB

0 / 0

english, 2011

19

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 34.77 MB

0 / 0

english, 2014

20

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer International Publishing

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

Год:

2015

Язык:

english

Файл:

PDF, 5.13 MB

0 / 0

english, 2015

21

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Год:

1989

Язык:

english

Файл:

PDF, 11.76 MB

0 / 0

english, 1989

22

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Год:

1989

Язык:

english

Файл:

DJVU, 5.18 MB

0 / 0

english, 1989

23

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 2.23 MB

0 / 0

english, 2004

24

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Год:

1995

Язык:

english

Файл:

PDF, 5.98 MB

0 / 0

english, 1995

25

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 5.96 MB

0 / 0

english, 2010

26

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 7.14 MB

0 / 0

english, 2004